#include <stdio.h>
int main ()
{
	int sum = 0, i = 16;
	do
	{
		sum = sum + i;
		i++;
	}
	while (i <= 1012);
	printf("The result is %d", sum);

}
